（来源：上观新闻）
如果成了，这家💆公司就不再🎮只是一个🔰🇬🇬让人眼前一亮🇨🇷🛌的模型实⚙验室，而是中国A🤲I自主🤜硬件通道上的关键👩🔧🔆一环🇰🇿。“用户通常使用🇦🇨🔍自然语言描述系🇹🇫统设计🇮🇴，FM-Age💗nt 生成的规约♎也是自然语言🥛🇮🇩，而传统形式化🗣🛎验证器只支持基📿🔍于数学🥌公式的推理🏊♀️久久91视频，二者存在🚎巨大的语义鸿🇧🇦⛰沟👸。
但如果你本质上🇸🇴🍤最感兴趣的，其实*️⃣😣是花大量🧺时间与用户🌳打交道🇫🇲🕛,哪怕这会🌟让你暂🍣时远离开发工🛣🛸作，又或者🌮你喜欢深入🤢🚺洞察用户需📷求，琢磨市场🍊趋势，甚🇲🇿👋至尝试👸预见未来的发🏊❣展方向📑💌等等💑。他提到了一件让他🔈印象深刻⚙的判断失误：2📇016年，🇹🇫🇯🇴联合创始人🖕兼首席系👒统架构师JP提🇵🇸出了水冷方案👮♀️🏣，当时🥀没有其他公司这么😯做，Feldm🎐an拼命反♿🍲对👨💼。在这场21公里的👍🎸赛道上，液冷👗或许不是最显🍈眼的技术，但可⏰📱能是决🖱👩👩👧👦定机器人能否跑🏒完全程的“隐〰😚形门槛”🐄。
